Bisimulation Lattice of Asymmetric Chi Calculus with Mismatch

This paper carries out a systematic investigation into the bisimulation lattice of asymmetric chi calculus with a mismatch combinator. It is shown that all the sixty three L-bisimilarities collapse to twelve distinct relations and they form a bisimulation lattice with respect to set inclusion.The top of the lattice coincides with the barbed bisimilarity.     

格点Sierpinski地毯上具有正边界条件Ising模型的谱缝隙估计

主要采用Ising模型的blockdynamics方法,且对Ising模型正负粒子分离线高度进行估计.对于无外场的Ising模型,当参数β充分大时,给出了Ising模型谱缝隙的一个下界.     

L-fuzzy正则性与正规性不可乘的两个例子

给出了L-fuzzy正则分离性和正规分离性不是可乘性质的例子．     

二维复式晶格有限集团的电子结构特性

选取二维复式晶格作为有限系统的集团模型,在紧束缚近似下,计算了最近邻及考虑到次近邻集团的态密度。讨论了不同结构参数对态密度及带宽的影响。     

南音编辑及检索系统的设计与实现

介绍南音编辑及检索系统的设计和实现方法，给出总体结构并着重讨论竖体编辑的若干技术问题以及南音音符的处理技术。     

格模型的安全性分析

分析了格模型以及格模型的各种实施机制,指出了该模型的二类实施机制在精确性上存在的问题.同时,提出了局部安全性和整体安全性二个不同概念,指出了该模型在整体安全性上的弱点,最后论证了格模型不具有保护信息完整性的能力.     

富硅超稳八面沸石研究：组成与结构参数及稳定性的关系

用（ＮＨ４）２ＳｉＦ６二次俣成法制备了Ｓｉ／Ａｌ比不同的ＦＳＹ样品，再经５００℃水热处理制得相应的ＵＳ－ＳＹ系列样品。用ＸＲＤ技术测定诸样品的晶胞参数ａ０和相对结晶度；用ＤＴＡ分别测定脱水峰温和晶格崩塌峰温，以ＩＲ法测定其骨架振动谱带。     

8031扩展一片8255来管理点阵式液晶显示模块

介绍了一种在８０３１为核心的单片机系统中扩展一片８２５５来管理ＵＣ－１６２－０９（０３）（１６×２）点阵式液晶显示模块的实用电路及软件配置。ＵＣ－１６２－０９（０３）模块可以显示１６×２个字符（显示位），每个显示位５×７点阵结构。     

论逻辑函数变量的二值与格形对称性

格形结构是自然界中普遍存在的一种结构形态。通过对逻辑函数变量的二值与对偶关系以及与之对应的格形对称图的一些性质及其规律的探讨,在两种格形对称图上,找到了最小项与其逻辑相邻项之间的对应关系,从而为用格形对称图法化简逻辑函数提供了捷径和方法。